formal model
英 [ˈfɔːml ˈmɒdl]
美 [ˈfɔːrml ˈmɑːdl]
网络 形式模型; 形式化模型; 正规模型; 规范模型; 正式模型
双语例句
- The architecture is expressed as a formal model in UML, using a tool like Rational Software Architect to create it.
体系结构采用UML表述为正式的模型，要使用RationalSoftwareArchitect之类的工具创建此模型。 - Facts may take the form of natural language statements or as attributions, relationships, or generalizations within a formal model.
事实可以采用自然语言语句的形式，也可以作为一个规范模型中的属性、关系或概要。 - If the design issues are linked to formal model artifacts, the design elements can be traced back to a particular decision or issue.
如果设计问题链接到正式的模型工件，那么可以从设计元素追溯到特定的决策或问题。 - Usually, we try to represent the architecture of a system through a formal model, and, usually, this model is articulated in UML, using a tool to create the various perspectives mentioned above.
通常，我们尝试通过正式的模型表示系统的体系结构，而此模型通常采用UML进行说明，使用工具来创建上面提到的各种透视图。 - To what extent do you share the core intent of MDD-create a formal model and mathematically transform that model into correct and executing code?
你在何种程度上对MDD的核心意图进行了分享呢&是创建正式的模型，并且以数学的方式把模型转换为正确可执行的代码吗？ - Formal model establishment and security analysis for set protocol
SET协议形式化模型的建立和安全性分析 - Formal Model Describing Topological Relations Between Spatial Linear Objects in GIS
GIS空间线目标间拓扑关系形式化描述模型 - Formal model about payment protocol based on reputation system
基于信誉机制的支付协议形式化模型 - Like chadha, Bowsher has been criticized for relying on an overly formal model of the Congressional role in the checks and balances system.
和“查达”案一样，“鲍舍”案也受到批评，因其依赖的是国会在制衔制度中的过分正式的模式。 - Semantics Based Formal Model for Security Protocols
一种基于语义的安全协议形式化模型 - Research of a Formal Model for WS-CDL Based on Trace with Conditions
一种基于带条件的轨迹的WS-CDL形式化模型研究 - Manufacturers can provide colorful formal model for color card for consumers to choose.
正规厂家能提供色彩丰富的样板色卡供消费者选择。 - This isn't a formal model ( heh), it's simply my favorite analogy for software development.
这并不是一个非常正式的模型（呵呵），我只是喜欢用它来代表软件开发。 - The meta-model for VPML-S was designed by using UML class diagram, and its formal model was established on this basis.
使用UML类图设计了该语言的元模型，在此基础上建立了语言的形式化模型； - Research on Formal Model and Implementation for WS-CDL
WS-CDL的形式化模型和执行过程研究 - A cryptographic protocol together with its cryptographic algorithm was regarded as one system, and based on compositional reasoning techniques, a formal model for the system was built.
将密码协议与协议中用到的密码算法视为一个系统，基于组合推理技术建立了密码协议系统的形式化模型。 - A formal model is proposed to describe time character of constraint in this paper.
提出一套形式化地描述时间特性的模型，使之能够描述带时间特性的授权约束。 - The B-method is adopted to set the formal model on the XML technology.
本文采用B-Method对XML技术进行形式化的建模。 - First, we developed a formal model, namely ISTWM, for transactional workflows.
本文首先提出了一个事务工作流模型ISTWM。 - This paper proposes the role concept, discusses the dynamic access control of role-based workflow status, and describes and analyses the formal model.
本文将角色的概念加入进来，讨论了基于角色的工作流状态的动态访问控制，并对其模型进行了形式化描述和分析。 - This paper proposed a problem-solving theory based formal model, introduced the basic syntax and ρ-calculus based semantics of the model, and presented some pivotal concepts and propositions in the deduction of the model.
提出了一种基于问题求解理论的密码协议模型，给出了模型的基本语法以及基于ρ演算的形式语义，明确了模型推理过程中涉及到的一些关键性的概念和命题。 - A formal model that analyzes the conflicts and cooperation between different businesses will be adopted in this thesis.
本文中用一种正式的模型来分析企业之间的冲突与合作。 - A general formal model for scheduling object-based distributed real-time systems is presented.
为了解决分布式实时系统有关分配和调度等问题，给出并用形式化方法描述了一种基于对象分布式实时系统调度的通用模型。 - A Formal Model of Multi-agent System Based on Visibility, Perception and Knowledge
基于访问、感知和知道的多Agent系统形式化模型 - Extended Fuzzy-Timing Petri Net ( EFTN) is a formal model for modeling and analysis of network-based real-time systems, Petri Net's mathematical theory basis will ensure the reliability and correctness of concurrent systems.
扩展的模糊时间Petri网是一种对网络实时系统进行建模和分析的形式化模型，Petri网数学理论基础能保证并发系统的可靠性和正确性。 - This paper presents an interoperability test generation method based on the formal model, Communicating Multiport Finite State Machines.
文章提出了一种基于通信多端口有限状态机模型的协议互操作性测试生成方法。 - This formal model highlights the effect of role relationship and role dependent in construction agent.
本文建立的agent角色形式化模型，突出了角色关系和角色依赖在agent构造中的作用。 - Firstly, a formal model of TPM is built using first-order logic language.
首先，在论文中用一阶逻辑语言建立可信平台模块API的形式化模型，然后对建立的形式化模型进行逻辑推理分析。